$COUNTER_PATH/craft/src/ringcounter.v
$COUNTER_PATH/craft/tb/ringcounter_tb.v
